21. C℗ compiler concepts
پدیدآورنده : B. Teufel, S. Schmidt, T. Teufel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Compilers (Computer programs),Programming languages (Electronic computers)
22. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
23. Communicating Process Architectures 2005 :
پدیدآورنده : ed. by Jan F. Broenink [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2005eb
24. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
25. Computational Semantics with Functional Programming
پدیدآورنده : / Jan Van Eijck and Christina Unger
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
رده :
QA76
,.
7
.
E43
2010
26. Computational semantics with functional programming /
پدیدآورنده : Jan van Eijck and Christina Unger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
E43
2010eb
27. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
28. ESOP '88
پدیدآورنده : H. Ganzinger, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
رده :
QA76
.
6
.
E976
1988
29. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
30. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامه‌نویسی کامپیوتر-- نحو ,زبانهای برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
31. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
32. Formal description technique
پدیدآورنده : / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
33. Formal description techniques, II
پدیدآورنده : / Edited by Son T. Vuong
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
34. Formal description techniques III
پدیدآورنده : / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
35. Formal language description languages for computer programming; proceedings
پدیدآورنده : Edited by T.B. Steel, Jr
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I17
1964
36. Formal language description languages for computer programming; proceedings
پدیدآورنده : IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
37. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
38. Formal semantics of Programming languages
پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
39. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
40. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
